Study on Automatic Card Punching Machine

[Human factors in card punching operation].

Benefits from a SMED Application in a Punching Machine

This paper presents an application of the SingleMinute Exchange of Die (SMED) methodology to a turret punching machine in an elevators company, in Portugal. The work was developed during five months, in the ambit of a master thesis in Industrial Engineering and Management. The Lean Production tool SMED was applied to reduce setup times in order to improve the production flexibility of the machi...

Automatic Test Generation on a (U)SIM Smart Card

Usually, testing smart card software is carried-out by specialized engineers in a proprietary language. Testing represents generally half of smart card development effort. With the increasing use of semi-formal and formal modeling languages, such as UML, and the emergence of automatic test generators in the industry, we have studied a way to adapt these techniques for smart card. In this articl...

Automatic Identity Card and Passport Reader System

Abstract ICAR, Identity Card Automatic Reader, consists of a system for reading identity cards like passports, identity documents and driver licenses. First, document image is acquired by an own acquisition device based on a digital camera chip. Then, the image is analyzed in order to identify document type among a set of predefined models using local features analysis and text localization. Id...

Automatic Test Generation for Java-Card Applets

Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet validation. In this article, we describe a methodology for Java Card applet verification, and its application on a case study. This methodology is based on automatic test generation. We first take benefits of the Java Card pl...